Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
711	On guarded simulations and acyclic first-order languages George H.L. Fletcher Jan Hidders Stijn Vansummeren Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-24 10:00:24 Computing Relational model Conjunctive query Database theory Relational database management systems Relational algebra Tuple Datalog Structure Data management Mathematics Query languages
712	The Forum there is strong existential appeal, the back-up of intellectual rigour and the tolerance of revelation. Here, with Spinoza, there is the recipe for true individual enlightenment. In order to be convinced that Add to Reading List Source URL: www.society-for-philosophy-in-practice.org Language: English - Date: 2012-03-10 14:29:51 Freudian psychology Jungian psychology Mental processes Psychoanalytic theory Dreaming Sigmund Freud Ludwig Wittgenstein Unconscious mind Dream Psychoanalysis Psychology Mind
713	Virginia Polytechnic Institute & State University University Libraries Acquisitions Team PROCEDURE MANUAL Add to Reading List Source URL: www.lib.vt.edu Language: English - Date: 2015-05-24 20:27:12 Rush Government procurement in the United States Bibliographic record Structure Science Music Library science Order theory Preorder
714	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Metalogic Model theory FO Interpretation Symbol Constructible universe Mathematics Logic Linear temporal logic Temporal logic
715	Draft of 16 Apr:30 a.m. The Guruswam-Sudan Decoding Algorithm for Reed-Solomon Codes. R. J. McEliece Add to Reading List Source URL: www.systems.caltech.edu Language: English - Date: 2003-04-16 20:16:24 Error detection and correction Algebra Polynomials Finite fields Computational complexity theory List decoding Reed–Solomon error correction Monomial order Monomial Coding theory Abstract algebra Mathematics
716	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
717	Journal of Universal Computer Science, vol. 3, no), 23-41 submitted: , accepted: , appeared: © Springer Pub. Co. Generalizing BIAS Specications Evgenija D. Popova Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Data types Software engineering Order theory Numerical analysis Arithmetic Interval arithmetic Interval Floating point NaN Computer arithmetic Computing Mathematics
718	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
719	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
720	SCIENTIFIC COMPUTING VALIDATED NUMERICS INTERVAL METHODS Edited by Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Interval Order theory Vector space Compact space Normal distribution Spectral theory of ordinary differential equations Mathematics Algebra Topology

UPDATE